間庭 彬仁; "ループのための様相演算子